Sybil Halpern Milton 1941–2000

Joseph Halpern

Conditional belief types Report Title We study type spaces where a player's type at a state is a conditional probability on the space. We axiomatize these spaces using conditional belief operators, examining three additional axioms of increasing strength. First, introspection, which requires the agent to be unconditionally certain of her beliefs. Second, echo, according to which the uncondition...

Milton Charles Winternitz

I do not remember my first meeting with Winternitz, but, when the full-time clinical experiment was launched in Baltimore, Winternitz was one of my first customers. He was and still is one of our ablest medical scientists. In his account of William Henry Welch and the Heroic Age of American Medicine, my brother, Simon, speaks of a group which included such brilliant men as MacCallum, Opie, G.H....

Milton : a New , Unique

Petrography: The interior of the stone consists of relatively small (mean grain size 1.6 mm), angular olivine grains (~73 vol%) in an iron metal matrix (Fig. 1). Ferric oxides are abundant. Samples easily fragment because of the weathering and numerous, probably preterrestrial, fractures. Olivine contains numerous small (typically 50 μm diameter) inclusions, visible in the SEM, that consist of ...

An Epistemic Halpern-Shoham Logic

We define a family of epistemic extensions of Halpern–Shoham logic for reasoning about temporal-epistemic properties of multi-agent systems. We exemplify their use and study the complexity of their model checking problem. We show a range of results ranging from PTIME to PSPACE– hard depending on the logic considered.

Sybil Fortner